type Bit = 1 | 0

type BinaryAdd<A extends Bit[], B extends Bit[]> = any
